1864 search results - page 125 / 373 » Formal topology and domains |
205
click to vote
RWEB
2010
Springer
15 years 4 months ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
355
click to vote
FM
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
168
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In RF (Radio Frequency) domain, one of the limitations of using MEMS (Micro Electromechanical Systems) switching devices for medium power applications is RF power. Failure phenomen...
145
click to vote
TCS
2008
15 years 6 months ago
2008
This is a survey of results about versions of fine hierarchies and many-one reducibilities that appear in different parts of theoretical computer science. These notions and relate...
166
click to vote
SAS
2007
Springer
16 years 16 days ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...