101 search results - page 8 / 21 » Logical and Stochastic Modeling with SMART |
ICWE
2010
Springer
14 years 8 months ago
2010
Springer
The Web of Things is an emerging scenario in which objects are connected to Internet and can answer to HTTP queries. To date, new applications in this field are mainly produced by ...
78
Voted
FLAIRS
2007
14 years 12 months ago
2007
We describe an architecture for representing and managing context shifts that supports dynamic data interpretation. This architecture utilizes two layers of learning and three lay...
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
AMAST
2000
Springer
15 years 1 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
ICTAC
2005
Springer
15 years 3 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...