6016 search results - page 15 / 1204 » The semantics of graphical languages |
122
click to vote
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
144
click to vote
SERP
2004
15 years 5 months ago
2004
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
131
click to vote
FIW
2000
15 years 5 months ago
2000
The CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic S...
139
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
152
click to vote
AAAI
2011
14 years 4 months ago
2011
This paper describes a new model for understanding natural language commands given to autonomous systems that perform navigation and mobile manipulation in semi-structured environ...