1229 search results - page 72 / 246 » Reflections on the Design of a Specification language |
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
LREC
2008
13 years 9 months ago
2008
This paper describes BABYLON, a system that attempts to overcome the shortage of parallel texts in low-density languages by supplementing existing parallel texts with texts gather...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...
ICWS
2003
IEEE
13 years 9 months ago
2003
IEEE
Workflow management systems exactly enact business processes described in a process description language. Unfortunately, such strict adherence to the prescribed workflow makes it ...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...