487 search results - page 86 / 98 » Scoping Constructs for Software Generators |
ICITA
2005
IEEE
14 years 1 months ago
2005
IEEE
In the next generation Internet, the network should not only be considered as a communication medium, but also as an endless source of services available to the end-systems. These...
MOBIQUITOUS
2005
IEEE
14 years 1 months ago
2005
IEEE
Recent research has led to the advent of software systems capable of performing query processing in sensor networks. They perform query processing in a sensor network by construct...
EMSOFT
2004
Springer
14 years 28 days ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
ISCAS
2003
IEEE
14 years 24 days ago
2003
IEEE
In this paper, we proposed a new scheme to generate photograph slide show with incidental music based on the content of the photographs and music. Unlike existing photograph slide...
ERLANG
2007
ACM
13 years 11 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...