55 search results - page 10 / 11 » Hardness for Explicit State Software Model Checking Benchmar... |
163
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
174
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...
200
click to vote
EMSOFT
2011
Springer
14 years 5 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
196
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
187
click to vote
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
Hybrid generative-discriminative techniques and, in particular, generative score-space classification methods have proven to be valuable approaches in tackling difficult object or...