8555 search results - page 1364 / 1711 » Property Based Coordination |
172
Voted
COMPSAC
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
185
Voted
COMPSAC
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
185
click to vote
ECRTS
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper investigates real-time scheduling in a system whose energy reservoir is replenished by an environmental power source. The execution of tasks is deemed primarily energy-...
164
click to vote
EDOC
2006
IEEE
16 years 28 days ago
2006
IEEE
The paper proposes an approach to content dissemination that exploits the structural properties of XML Document Object Model in order to provide efficient dissemination by at the...
196
Voted
FOCS
2006
IEEE
16 years 28 days ago
2006
IEEE
We prove an upper bound, tight up to a factor of 2, for the number of vertices of level at most in an arrangement of n halfspaces in Rd , for arbitrary n and d (in particular, the...