7099 search results - page 262 / 1420 » Context for models of concurrency |
213
click to vote
IEEEARES
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Following Mark Weiser’s vision of ubiquitous computing and calm technology, computer systems should run in the background, preferably without the user noticing it at ...
220
click to vote
BIBE
2007
IEEE
16 years 1 months ago
2007
IEEE
—We present an information retrieval model for combining evidence from concept-based semantics, term statistics, and context for improving search precision of genomics literature...
200
click to vote
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
175
click to vote
PDP
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...
178
click to vote
CALCO
2005
Springer
16 years 25 days ago
2005
Springer
Simulations are a very natural way of relating concurrent systems, which are mathematically modeled by Kripke structures. The range of available notions of simulations makes it ver...