7209 search results - page 1218 / 1442 » Software Engineering for Multi-Agent Systems |
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
101
Voted
EUROSYS
2010
ACM
15 years 5 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...
118
click to vote
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
—Recent advances in mobile handheld devices have facilitated the ubiquitous availability of location based services. Systems which provide location based services have always bee...
98
Voted
SEKE
2009
Springer
15 years 5 months ago
2009
Springer
—Traditional search systems are usually based on keywords, a very simple and convenient mechanism to express a need for information. This is the most extended way of searching th...