3555 search results - page 312 / 711 » Security-Critical System Development with Extended Use Cases |
180
click to vote
TOPNOC
2008
15 years 6 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
172
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
In online, dynamic environments, the services requested by consumers may not be readily served by the providers. This requires the service consumers and providers to negotiate the...
197
click to vote
PVLDB
2010
15 years 5 months ago
2010
To enable smart environments and self-tuning data centers, we are developing the Aspen system for integrating physical sensor data, as well as stream data coming from machine logi...
137
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...
174
click to vote
ACMICEC
2004
ACM
16 years 2 days ago
2004
ACM
Due to the rapid advancement of electronic commerce and web technologies in recent years, the concepts and applications of decision support systems have been significantly extende...