1264 search results - page 116 / 253 » Designing Safe, Reliable Systems using Scade |
148
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Titanium is an explicitly parallel dialect of JavaTM designed for high-performance scientific programming. It offers objectorientation, strong typing, and safe memory management...
156
click to vote
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
Many systems such as Tukwila and YFilter combine automaton and algebra techniques to process queries over tokenized XML streams. Typically in this architecture, an automaton is fi...
127
click to vote
VRCAI
2004
ACM
15 years 10 months ago
2004
ACM
Introducing mixed reality (MR) into safety-critical environment like oil refinery is difficult, since the environment and organization lays demanding restrictions for the applicat...
178
click to vote
ISF
2010
15 years 1 months ago
2010
Much of the literature on responsibility in the IT field addresses the responsibilities of members of the IT profession. In this paper, we investigate to what extent the responsibi...
131
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Virtual coordinate systems provide an accurate and efficient service that allows hosts on the Internet to determine the latency to arbitrary hosts without actively monitoring all ...