3552 search results - page 625 / 711 » Proof theory in the abstract |
148
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
187
click to vote
MSE
2005
IEEE
15 years 12 months ago
2005
IEEE
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
185
click to vote
WETICE
2005
IEEE
15 years 12 months ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
164
click to vote
APN
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. High-Level net models following the paradigm “nets as tokens” have been studied already in the literature with several interesting applications. In this paper we prop...
173
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...