4418 search results - page 411 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
166
click to vote
JAR
2008
15 years 6 months ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
167
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In the last decade, there has been an explosion of online commercial activity enabled by the World Wide Web. An electronic marketplace (e-market) provides an online method to perf...
189
click to vote
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
Information about the user's environment offers new opportunities and exposes new challenges in terms of time-aware, location-aware, device-aware and personalized application...
202
click to vote
MOBICOM
2010
ACM
15 years 7 months ago
2010
ACM
Cellular radios consume more power and suffer reduced data rate when the signal is weak. According to our measurements, the communication energy per bit can be as much as 6x highe...
196
click to vote
HPCA
1997
IEEE
15 years 11 months ago
1997
IEEE
Many parallel systems offer a simple view of memory: all storage cells are addresseduniformly. Despite a uniform view of the memory, the machines differsignificantly in theirmemo...