1418 search results - page 44 / 284 » The Dynamic Complexity of Formal Languages |
102
click to vote
ASYNC
2007
IEEE
15 years 6 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
137
click to vote
JOT
2010
15 years 11 days ago
2010
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
113
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
116
click to vote
ACL
1989
15 years 3 months ago
1989
The Context-Free backbone of some natural language analyzers produces all possible CF parses as some kind of shared forest, from which a single tree is to be chosen by a disambigu...
ASPDAC
2005
ACM
15 years 7 months ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...