416 search results - page 45 / 84 » Intellectual Property and Open Systems |
107
click to vote
FOCM
2011
14 years 4 months ago
2011
We develop a new mathematical model for describing a dynamical system at limited resolution (or finite scale), and we give precise meaning to the notion of a dynamical system havi...
ENTCS
2006
14 years 9 months ago
2006
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of ...
IAT
2006
IEEE
15 years 3 months ago
2006
IEEE
Game theory is popular in agent systems for designing auctions with desirable properties. However, many of these properties will only hold if the game and its properties are commo...
JVA
2006
IEEE
15 years 3 months ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...