653 search results - page 80 / 131 » ASP: from Application Development to Syntax Extensions |
124
Voted
TAPIA
2003
ACM
15 years 9 months ago
2003
ACM
The Firefighter Command Training Virtual Environment is being developed at Georgia Tech in collaboration with the Atlanta Fire Department. The VE allows the user to: navigate arou...
148
click to vote
FOCS
1993
IEEE
15 years 8 months ago
1993
IEEE
We develop a framework that allows us to address the issues of admission control and routing in high-speed networks under the restriction that once a call is admitted and routed, ...
147
click to vote
HASE
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
143
click to vote
TMI
2008
15 years 3 months ago
2008
With continuing improvements in spatial resolution of positron emission tomography (PET) scanners, small patient movements during PET imaging become a significant source of resolut...
154
Voted
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...