3868 search results - page 63 / 774 » Open Systems in TLA |
103
click to vote
APLAS
2000
ACM
15 years 6 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
141
Voted
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract-- An inverse modeling problem for systems governed by first-order, hyperbolic partial differential equations subject to periodic forcing is investigated. The problem is de...
98
Voted
SIGECOM
2000
ACM
15 years 6 months ago
2000
ACM
Software agent marketplaces require the development of new architectures, which are capable of coping with unreliable computational and network infrastructures, limited trust amon...
78
Voted
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Source control systems permit developers to attach a free form message to every committed change. The content of these change messages can support software maintenance activities....
122
click to vote
FOSSACS
2011
Springer
14 years 5 months ago
2011
Springer
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...