963 search results - page 147 / 193 » Formal Analysis of BPMN Models Using Event-B |
132
Voted
EICS
2009
ACM
15 years 10 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
145
Voted
DFG
2004
Springer
15 years 7 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
119
Voted
SIGIR
2005
ACM
15 years 9 months ago
2005
ACM
Existing retrieval models generally do not offer any guarantee for optimal retrieval performance. Indeed, it is even difficult, if not impossible, to predict a model’s empirica...
124
Voted
COLT
1999
Springer
15 years 7 months ago
1999
Springer
This paper proposes the use of constructive ordinals as mistake bounds in the on-line learning model. This approach elegantly generalizes the applicability of the on-line mistake ...
154
Voted
COMPSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...