3432 search results - page 489 / 687 » Language as a Complex Adaptive System |
134
click to vote
FM
2009
Springer
15 years 12 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
164
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
The ever increasing complexity and heterogeneity of modern System-on-Chip (SoC) architectures make an early and systematic exploration of alternative solutions mandatory. Efficien...
170
click to vote
CALCO
2005
Springer
15 years 11 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
125
click to vote
EWSA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
135
click to vote
ICLP
2003
Springer
15 years 10 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...