1192 search results - page 145 / 239 » Computing Weakest Readings |
115
Voted
CAD
2006
Springer
15 years 3 months ago
2006
Springer
, and of course, you have the option to download any article straight to your desktop, depending on your access rights. Read more about how the TOP 25 is generated and what it refl...
132
Voted
IJAOSE
2007
15 years 3 months ago
2007
This paper describes West2East, a Computer-Aided Agent-Oriented Software Engineering toolkit aimed at supporting the implementation of multiagent systems. West2East exploits langua...
144
Voted
CAD
1999
Springer
15 years 3 months ago
1999
Springer
This paper is concerned with the mathematics and formal specification of "set-like" operations for the mixed dimension cellular objects of the Djinn Application Programm...
139
Voted
PERCOM
2007
ACM
15 years 3 months ago
2007
ACM
Accurate indoor localization has long been an objective of the ubiquitous computing research community, and numerous indoor localization solutions based on 802.11, Bluetooth, ultra...
139
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Software transactional memory (STM) algorithms often rely on centralized components to achieve atomicity, isolation and consistency. In a distributed setting, centralized...