2409 search results - page 250 / 482 » Logical systems for structured specifications |
132
click to vote
IJCIM
2002
15 years 4 months ago
2002
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
139
click to vote
IJAIT
2006
15 years 4 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
149
click to vote
IJSEKE
1998
15 years 4 months ago
1998
Managing scientific data is a challenging task, and many of the problems it presents have yet to be adequately solved. The Real-time Environmental Information Network and Analysi...
137
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
In this work we present a middleware architecture for a mobile peer-to-peer content distribution system. Our architecture allows wireless content dissemination between mobile node...
145
click to vote
FPL
2005
Springer
15 years 10 months ago
2005
Springer
String pattern matching is a computationally expensive task, and when implemented in hardware, it can consume a large amount of resources for processing and storage. This paper pr...