1157 search results - page 128 / 232 » Descriptive Complexity and Model Checking |
ROBIO
2006
IEEE
15 years 3 months ago
2006
IEEE
— Many approaches to robotic grasping have focused on a specific aspect of the problem only, without considering its integrability with other related procedures in order to buil...
ICCAD
1994
IEEE
15 years 2 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...