2637 search results - page 470 / 528 » Tool Supported Specification and Simulation of Distributed S... |
155
click to vote
MOBISYS
2004
ACM
16 years 5 months ago
2004
ACM
The performance of Wireless Local Area Networks (WLANs) often suffers from link-layer frame losses caused by noise, interference, multipath, attenuation, and user mobility. We obs...
167
click to vote
NDQA
2003
15 years 7 months ago
2003
The World Wide Web lacks support for explaining information provenance. When web applications return results, many users do not know what information sources were used, when they ...
166
Voted
QEST
2005
IEEE
15 years 11 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
187
click to vote
SEMWEB
2009
Springer
16 years 2 days ago
2009
Springer
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...
135
click to vote
AOSD
2003
ACM
15 years 10 months ago
2003
ACM
An effective requirements engineering (RE) approach must harmonise the need to achieve separation of concerns with the need to satisfy broadly scoped requirements and constraints....