1610 search results - page 182 / 322 » A Transaction Model for Mobile Computing |
143
click to vote
LCN
2003
IEEE
15 years 11 months ago
2003
IEEE
The Differentiated Services (DiffServ) approach is intended to provide Quality of Service (QoS) in IP-based networks. This is a very important issue not only in wire-line fixed n...
153
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
149
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 26 days ago
2009
ACM
In this paper we present an approach for creating user infrom abstract representations for the automotive domain. The approach is based on transformations between different user ...
173
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
A recent trend in Ubiquitous Computing is that embedded software (e.g. in production machines, wired or wireless networked sensors and actuators, or RFID readers) directly offers W...
186
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...