229 search results - page 29 / 46 » Formal Modeling of RESTful Systems Using Finite-State Machin... |
120
Voted
CIDR
2007
15 years 5 months ago
2007
Sensor networks are becoming an important part of the IT landscape. Existing systems, however, are limited in two fundamental ways: lack of data independence, and poor integration...
127
Voted
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
—We present a security system consisting of an arbitrary number of entries, sensors and agents. The intelligent integrated system is based on user modeling, i.e. models of their ...
118
Voted
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
— Batteries are non-ideal energy sources – minimizing the energy consumption of a battery-powered system is not equivalent to maximizing its battery life. We propose an alterna...
134
Voted
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...
107
Voted
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...