6829 search results - page 75 / 1366 » Quantitative Generalizations of Languages |
108
Voted
COORDINATION
2007
Springer
15 years 7 months ago
2007
Springer
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...
92
Voted
ECML
2007
Springer
15 years 7 months ago
2007
Springer
A general game player is an agent capable of taking as input a description of a game’s rules in a formal language and proceeding to play without any subsequent human input. To do...
109
Voted
HICSS
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— Framework design is a multifaceted endeavor undertaken to promote reuse of software within a family of related applications. Traditional approaches involve either the e...
107
Voted
VIROLOGY
2010
14 years 11 months ago
2010
We propose a general, formal definition of the concept of malware (malicious software) as a single sentence in the language of a certain modal logic. Our definition al thanks to it...
104
Voted
FCT
1999
Springer
15 years 5 months ago
1999
Springer
Local event structures and local traces are generalizations of the classical prime event structures and Mazurkiewicz’ traces in which independence is no longer a global binary pr...