7380 search results - page 1252 / 1476 » Engineering Software Intensive Systems |
118
click to vote
ICFEM
2004
Springer
15 years 8 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...
129
Voted
EUROSYS
2010
ACM
15 years 8 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...
152
click to vote
COMPSAC
2009
IEEE
15 years 8 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...
134
click to vote
SEKE
2009
Springer
15 years 8 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...
109
click to vote
EUMAS
2006
15 years 4 months ago
2006
Fault tolerance is an important property of large-scale multiagent systems as the failure rate grows with both the number of the hosts and deployed agents, and the duration of com...