1418 search results - page 36 / 284 » The Dynamic Complexity of Formal Languages |
114
click to vote
ENTCS
2007
15 years 1 months ago
2007
Recently the term Web Services choreography has been introduced to address some issues related to Web Services composition and coordination. Several proposals for describing chore...
102
click to vote
ISCAS
2003
IEEE
15 years 7 months ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
105
click to vote
ICSE
1994
IEEE-ACM
15 years 6 months ago
1994
IEEE-ACM
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
114
click to vote
SBCCI
2004
ACM
15 years 7 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
109
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...