7557 search results - page 630 / 1512 » Modeling Timed Concurrent Systems |
305
click to vote
VLDB
2005
ACM
16 years 7 months ago
2005
ACM
Efficient querying of XML streams will be one of the fundamental features of next-generation information systems. In this paper we propose the TurboXPath path processor, which acce...
189
click to vote
SAC
2010
ACM
16 years 2 months ago
2010
ACM
The emerging reality of wireless sensor networks deployed as long-lived infrastructure required to serve multiple applications necessitates the development of fine-grained securi...
191
click to vote
SRDS
2006
IEEE
16 years 1 months ago
2006
IEEE
Determinism is mandatory for replicating distributed objects with strict consistency guarantees. Multithreaded execution of method invocations is a source of nondeterminism, but h...
202
click to vote
IEAAIE
2005
Springer
16 years 20 days ago
2005
Springer
In this paper we propose the model of a prototypical NLP architecture of an information access system to support a team of experts in a scientific design task, in a shared and hete...
180
click to vote
GG
2004
Springer
16 years 16 days ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...