2637 search results - page 168 / 528 » Tool Supported Specification and Simulation of Distributed S... |
145
click to vote
CN
2007
15 years 4 months ago
2007
Notwithstanding the limited commercial success of the first narrowband Low Earth Orbit (LEO) satellite systems, the interest of the scientific community in this type of systems ...
152
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
The Value Sensitive Design (VSD) methodology provides a comprehensive framework for advancing a value-centered research and design agenda. Although VSD provides helpful ways of th...
190
click to vote
APCCM
2009
15 years 6 months ago
2009
Existing HTML mark-up is used only to indicate the structure and lay-out of documents, but not the document semantics. As a result web documents are difficult to be semantically p...
162
click to vote
ESWA
2008
15 years 4 months ago
2008
The severe competition in the market has driven enterprises to produce a wider variety of products to meet consumers' needs. However, frequent variation of product specificat...
155
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...