5525 search results - page 613 / 1105 » Verification of Model Transformations |
174
click to vote
ICMI
2003
Springer
16 years 9 days ago
2003
Springer
This paper presents a low-cost and practical approach to achieve basic input using a tactile cube-shaped object, augmented with a set of sensors, processor, batteries and wireless...
313
click to vote
ASIAMS
2009
IEEE
16 years 6 days ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...
197
click to vote
RTCSA
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper introduces an exact schedulability analysis for the optional computation model urider a specified failure hypothesis. From this analysis, we propose a solutionfor deter...
181
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
We are facing a growing user demand for ubiquitous Internet access. As a result, network ports and wireless LANs are becoming common in public spaces inside buildings such as loung...
187
click to vote
FSEN
2007
Springer
15 years 11 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...