9455 search results - page 1864 / 1891 » The Modelling Language Zinc |
90
Voted
HYBRID
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
71
Voted
ICALP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Radio networks model wireless communication when processing units communicate using one wave frequency. This is captured by the property that multiple messages arriving s...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...
VLDB
2005
ACM
15 years 3 months ago
2005
ACM
A significant amount of information is stored in computer systems today, but people are struggling to manage their documents such that the information is easily found. XML is a de...
116
click to vote
CASES
2004
ACM
15 years 3 months ago
2004
ACM
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...