4036 search results - page 794 / 808 » Formal Methods |
130
Voted
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
137
click to vote
ECAL
1995
Springer
15 years 5 months ago
1995
Springer
Arti cial Life and the more general area of Complex Systems does not have a uni ed theoretical framework although most theoretical work in these areas is based on simulation. This ...
137
click to vote
HT
1987
ACM
15 years 5 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
140
Voted
FLAIRS
2007
15 years 4 months ago
2007
The linguistic theory of Applicative and Cognitive Grammar analyses the language in three levels as follows: the linguistic level, the predicative level, and the semanticocognitiv...
113
click to vote
APN
2008
Springer
15 years 4 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...