4743 search results - page 767 / 949 » The PlusCal Algorithm Language |
APLAS
2003
ACM
14 years 2 months ago
2003
ACM
This paper studies the problem of resource availability in the context of mobile code for embedded systems such as smart cards. It presents an architecture dedicated to controlling...
JCDL
2003
ACM
14 years 2 months ago
2003
ACM
Early modern books written in Latin contain many abbreviations of common words that are derived from earlier manuscript practice. While these abbreviations are usually easily deci...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
The Australian Bureau of Meteorology has a requirement for complex and evolving systems to manage its weather forecasting, monitoring and alerts. This paper describes an agent-bas...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
A team of agents planning to perform a complex task make a number of interrelated decisions as they determine precisely how that complex task will be performed. The decision set i...
CP
2003
Springer
14 years 2 months ago
2003
Springer
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...