488 search results - page 74 / 98 » Practical Context Transformation for Information System Inte... |
120
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
127
click to vote
ECSQARU
2007
Springer
15 years 10 months ago
2007
Springer
Many types of inter-agent dialogue, including information seeking, negotiation and deliberation can be fruitfully seen as varieties of argumentation. Argumentation frameworks, ori...
162
click to vote
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
ltiple Levels of Abstractions in Embedded Software Design Jerry R. Burch1, Roberto Passerone1, and Alberto L. Sangiovanni-Vincentelli2 1 Cadence Berkeley Laboratories, Berkeley CA ...
116
click to vote
ECCV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. With the emergence of swept-volume ultrasound (US) probes, precise and almost real-time US volume imaging has become available. This offers many new opportunities for com...
250
click to vote
SENSYS
2010
ACM
15 years 1 months ago
2010
ACM
Continuously understanding a user's location context in colloquial terms and the paths that connect the locations unlocks many opportunities for emerging applications. While ...