799 search results - page 145 / 160 » A Logic for Abstract State Machines |
DATE
2010
IEEE
14 years 8 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
FSTTCS
2010
Springer
14 years 7 months ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
100
click to vote
SECON
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--Wireless interference is the major cause of degradation of capacity in 802.11 wireless networks. We present an approach to estimate the interference between nodes and lin...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract—The deployment of multimedia services in nextgeneration networks is a challenge due to the high configuration complexity of the streaming process in different stationary...
CAISE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...