4196 search results - page 513 / 840 » Supporting the development of network programs |
166
click to vote
WETICE
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes WOLF, a development environment for WADE-based applications. WADE is a software platform, based on JADE, a popular Open Source framework, for the development ...
151
click to vote
COMPUTER
2004
15 years 4 months ago
2004
The growth of ubiquitous computing has given rise to a range of possibilities for context-based application development. Technologies for mobile computing and context-awareness can...
132
click to vote
ICMCS
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents a distributed broadband multimedia information service that is realised within the project EPRICOM that is supported by the European Union within the ACTS prog...
143
click to vote
ASPLOS
1989
ACM
15 years 9 months ago
1989
ACM
A very long instruction word (VLIW) processorexploits parallelism by controlling multiple operations in a single instruction word. This paper describes the architecture and compil...
160
click to vote
POPL
2012
ACM
14 years 15 days ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...