4211 search results - page 522 / 843 » Types as Abstract Interpretations |
149
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
—Making use of the World Wide Web’s numerous services increasingly requires the disclosure of personal user data. While these data represent an important value for service prov...
182
click to vote
COMPLEX
2009
Springer
16 years 1 months ago
2009
Springer
We introduce transformations from time series data to the domain of complex networks which allow us to characterise the dynamics underlying the time series in terms of topological ...
196
click to vote
WMCSA
2008
IEEE
16 years 29 days ago
2008
IEEE
Remote patient monitoring generates much more data than healthcare professionals are able to manually interpret. Automated detection of events of interest is therefore critical so...
171
click to vote
IEEESCC
2007
IEEE
16 years 27 days ago
2007
IEEE
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
155
click to vote
AMR
2007
Springer
16 years 23 days ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...