7202 search results - page 1048 / 1441 » Software System Engineering: A Tutorial |
165
click to vote
FDL
2005
IEEE
16 years 12 days ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
173
click to vote
UIST
2005
ACM
16 years 10 days ago
2005
ACM
Location information can be used to enhance interaction with mobile devices. While many location systems require instrumentation of the environment, we present a system that allow...
187
click to vote
ICFEM
2005
Springer
16 years 9 days ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
165
click to vote
ARCS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract: File sharing systems cause a huge portion of traffic in the Internet. With respect to the peer-to-peer approach, unicast delivery of content is the common case. Unfortun...
167
click to vote
FOSSACS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...