1886 search results - page 338 / 378 » Modeling and Enacting Software Processes Using VRPML |
129
Voted
IUI
2006
ACM
15 years 8 months ago
2006
ACM
This paper describes a discussion-bot that provides answers to students’ discussion board questions in an unobtrusive and humanlike way. Using information retrieval and natural ...
SIGMETRICS
2006
ACM
15 years 8 months ago
2006
ACM
The Java Messaging Service (JMS) facilitates communication among distributed software components according to the publish/subscribe principle. If the subscribers install filter r...
145
click to vote
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
117
click to vote
ISPASS
2003
IEEE
15 years 7 months ago
2003
IEEE
MPEG-4 is an important international standard with wide applicability. This paper focuses on MPEG-4’s main profile, video, whose approach allows more efficiency in coding and ...
130
click to vote
DAC
1999
ACM
15 years 6 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...