229 search results - page 29 / 46 » Formal Modeling of RESTful Systems Using Finite-State Machin... |
150
click to vote
CIDR
2007
15 years 7 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...
149
click to vote
IAT
2009
IEEE
16 years 18 days 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 ...
144
click to vote
ICCAD
2005
IEEE
15 years 11 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...
155
click to vote
HICSS
2006
IEEE
15 years 12 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...
130
click to vote
FMCAD
2006
Springer
15 years 9 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...