87 search results - page 13 / 18 » A data-oriented survey of context models |
FOSSACS
2005
Springer
14 years 27 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
In building a successful website it is imperative that the design matches the organization’s objectives, which should be well defined. Clearly, different types of websites will ...
POPL
1990
ACM
13 years 11 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
COMPSAC
2003
IEEE
14 years 20 days ago
2003
IEEE
Design patterns describe solutions to recurring design problems in the development of software designs. To encourage the use of design patterns, we are investigating tool support ...
SAC
2005
ACM
14 years 28 days ago
2005
ACM
The paradigm of Ubiquitous computing seeks to build a computing environment that responds to user context. An ideal file system for the Ubiquitous environment is one that can succ...