1610 search results - page 182 / 322 » A Transaction Model for Mobile Computing |
104
Voted
LCN
2003
IEEE
15 years 9 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...
116
Voted
ICCS
2004
Springer
15 years 9 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...
120
click to vote
AUTOMOTIVEUI
2009
ACM
15 years 10 months 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 ...
135
click to vote
CAISE
2008
Springer
15 years 5 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...
143
Voted
ASM
2010
ASM
15 years 7 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...