5384 search results - page 176 / 1077 » Open Standards Requirements |
144
click to vote
MEMOCODE
2005
IEEE
16 years 5 days ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...
155
click to vote
FORMATS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
238
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes the implementation of a test pattern language using STIL [1], the IEEE Standard Test Interface Language (1450-1999), in a next generation, open architecture A...
184
click to vote
AINA
2009
IEEE
15 years 11 months ago
2009
IEEE
The OSGi Alliance defines an open, modular, and scalable service delivery platform. The DPWS specification standardizes the process of consuming and exposing Web Services in a l...
149
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
The phenomenal growth that the WWW currently experiences necessitates the integration of various types of information sources to its platform. We present an open, extensible multi...