14190 search results - page 2475 / 2838 » Abstractions for hybrid systems |
229
click to vote
IUI
2000
ACM
16 years 1 days ago
2000
ACM
NaturalJava is a prototype for an intelligent natural-languagebased user interface for creating, modifying, and examining Java programs. The interface exploits three subsystems. T...
221
click to vote
SC
2000
ACM
16 years 1 days ago
2000
ACM
Advances in computing and networking technology, and an explosion in information sources has resulted in a growing number of distributed systems getting constructed out of resourc...
211
click to vote
CAISE
2000
Springer
16 years 22 hour ago
2000
Springer
Abstract This article presents OO-HMethod, an extension of the OOMethod conceptual modelling approach to address the particulars associated with the design of web interfaces. It is...
191
click to vote
CAV
2000
Springer
16 years 22 hour ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
213
click to vote
CONCUR
2000
Springer
16 years 20 hour ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...