1920 search results - page 7 / 384 » The Complexity of the A B C Problem |
121
Voted
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we present the results of a set of experiments we conducted in order to evaluate the viability of the behavioral synthesis, relying on the tools available at the mom...
100
Voted
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
— The forthcoming 4G cellular systems will provide broadband wireless access to a variety of advanced data and voice services. In order to do that, these networks will have a sig...
CORR
2002
Springer
15 years 1 days ago
2002
Springer
This paper studies the problem of modeling complex domains of actions and change within highlevel action description languages. We investigate two main issues of concern: (a) can ...
84
Voted
ASM
2008
ASM
15 years 2 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
144
Voted
Publication
I. Introduction
II. Foundations
A. The Mathematical Structure of Physical Field Theories
B. Geometric Objects and Orientation
1. Space-Time Object...