1983 search results - page 376 / 397 » User Interface Modelling with UML |
138
Voted
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
111
click to vote
ISW
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
171
Voted
UIST
1993
ACM
15 years 6 months ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
119
click to vote
DOCENG
2007
ACM
15 years 6 months ago
2007
ACM
A surrogate is an object that stands for a document and enables navigation to that document. Hypermedia is often represented with textual surrogates, even though studies have show...
130
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Simulating the major molecular events inside an Escherichia coli cell can lead to a very large number of reactions that compose its overall behaviour. Not only should ...