1690 search results - page 149 / 338 » Algorithmic Properties of Millstream Systems |
135
Voted
IEEESCC
2007
IEEE
15 years 11 months ago
2007
IEEE
Service discovery has been recognised as an important aspect of service oriented computing. This is even more the case when developing service centric systems in which software sy...
129
click to vote
APN
2005
Springer
15 years 10 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
146
click to vote
PODC
2009
ACM
15 years 11 months ago
2009
ACM
We study communication complexity of consensus in synchronous message-passing systems with processes prone to crashes. The goal in the consensus problem is to have all the nonfaul...
176
click to vote
SIAMREV
2010
14 years 11 months ago
2010
The affine rank minimization problem consists of finding a matrix of minimum rank that satisfies a given system of linear equality constraints. Such problems have appeared in the ...
141
click to vote
ICFP
1997
ACM
15 years 8 months ago
1997
ACM
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...