Sciweavers

41 search results - page 2 / 9
» Ambiguity and structural properties of basic sequence diagra...
Sort
View
AAMAS
2004
Springer
13 years 5 months ago
From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language
In this paper we propose a multi-agent system modeling language (MAS-ML) that extends UML (Unified Modeling Language) based on structural and dynamic properties presented in a conc...
Viviane Torres da Silva, Carlos José Pereir...
TCAD
1998
161views more  TCAD 1998»
13 years 5 months ago
Ordered Kronecker functional decision diagrams-a data structure for representation and manipulation of Boolean functions
— Ordered Kronecker functional decision diagrams (OKFDD’s) are a data structure for efficient representation and manipulation of Boolean functions. OKFDD’s are a generalizat...
Rolf Drechsler, Bernd Becker
CCE
2007
13 years 5 months ago
Control properties of thermally coupled distillation sequences for different operating conditions
The understanding of the dynamic behavior of distillation columns has received considerable attention due to the fact that distillation is one of the most widely used unit operati...
Juan Gabriel Segovia-Hernández, Esteban Abe...
CASCON
2006
117views Education» more  CASCON 2006»
13 years 6 months ago
A backtracking LR algorithm for parsing ambiguous context-dependent languages
Parsing context-dependent computer languages requires an ability to maintain and query data structures while parsing for the purpose of influencing the parse. Parsing ambiguous co...
Adrian D. Thurston, James R. Cordy
JSS
2010
132views more  JSS 2010»
13 years 7 days ago
Formal specification of the variants and behavioural features of design patterns
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu