2302 search results - page 322 / 461 » Testing as Abstraction |
159
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...
160
click to vote
WEA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. A5/1 pseudo-random bit generator, known from GSM networks, potentially might be used for different purposes, such as secret hiding during cryptographic hardware testing, ...
166
click to vote
ASSETS
2004
ACM
15 years 12 months ago
2004
ACM
The hierarchical structure of a program can be quite complex. As such, many Integrated Development Environments (IDEs) provide graphical representations of program structure at di...
161
click to vote
CSCW
2004
ACM
15 years 12 months ago
2004
ACM
Spontaneous communication is common in the workplace but can be disruptive. Such communication usually benefits the initiator more than the target of an interruption. Previous res...
149
click to vote
PADS
2004
ACM
15 years 12 months ago
2004
ACM
An important question for network simulation is what level of detail is required to obtain a desired level of accuracy. While in some networks, the level of detail is an open rese...