4460 search results - page 500 / 892 » Formal methods for interactive systems |
196
click to vote
JSW
2007
15 years 6 months ago
2007
—This paper presents some results in the intersection of three technological fields: e-learning, multiagent systems, and standards to improve the development of secure systems. T...
157
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
People are an important part of many business processes. Current workflow-based implementations of business processes constrain users to the desktop environment; require them to p...
166
click to vote
ESOP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
207
click to vote
IUI
2003
ACM
16 years 7 hour ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
187
click to vote
VRML
2003
ACM
16 years 2 hour ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...