4353 search results - page 633 / 871 » Expressiveness of Process Algebras |
179
click to vote
MEMOCODE
2007
IEEE
16 years 27 days ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
154
click to vote
ADBIS
2007
Springer
16 years 24 days ago
2007
Springer
The semantics of a new language (CUDL – Conceptual Universal Database Language), designed to manage dynamic database environments, are presented. This language conforms to the FD...
157
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
Most of the research on multiagent systems has focused on the development of rational utility-maximizing agents. However, research shows that emotions have a strong effect on peo...
139
click to vote
CONCUR
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to res...
181
click to vote
IDEAS
2006
IEEE
16 years 20 days ago
2006
IEEE
The paper presents a framework for publishing relational databases in textual documents such as mails, HTML pages, LATEX or BibTex files, plain texts, etc. The publication proces...