2496 search results - page 362 / 500 » Error-detecting properties of languages |
144
click to vote
VL
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper proposes a novel user interface to manage the dynamic layout of multimedia objects in the Multimedia Bulletin Board (MBB) system. The MBB has been designed and implemen...
130
click to vote
WMCSA
2002
IEEE
15 years 9 months ago
2002
IEEE
The emergence of pervasive networked data sources, such as web services, sensors, and mobile devices, enables context-sensitive, mobile applications. We have developed a programmi...
127
click to vote
ESOP
2001
Springer
15 years 9 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
108
click to vote
SEMWEB
2001
Springer
15 years 9 months ago
2001
Springer
The Semantic Web should enable greater access not only to content but also to services on the Web. Users and software agents should be able to discover, invoke, compose, and monit...
164
click to vote
UML
2001
Springer
15 years 9 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...