2517 search results - page 92 / 504 » Specifying Weak Sets |
140
click to vote
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and wea...
145
click to vote
CHI
1996
ACM
15 years 9 months ago
1996
ACM
Groupware systems that use large shared workspaces generally provide only limited awareness information about other collaborators in the workspace. We are designing a set of group...
132
click to vote
FOCS
1992
IEEE
15 years 9 months ago
1992
IEEE
We give a new characterization of NP: the class NP contains exactly those languages L for which membership proofs (a proof that an input x is in L) can be verified probabilisticall...
250
click to vote
ACSD
2004
IEEE
15 years 9 months ago
2004
IEEE
In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis ...
116
click to vote
ICSE
2000
IEEE-ACM
15 years 9 months ago
2000
IEEE-ACM
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited ...