8008 search results - page 258 / 1602 » Computer-Aided Language Processing |
128
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Higher-order process calculi are calculi in which processes can be communicated. We study the expressiveness of strictly higher-order process calculi, and focus on two issues well-...
134
Voted
UML
2001
Springer
15 years 7 months ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
122
Voted
BIS
2006
15 years 4 months ago
2006
Abstract. Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process...
118
Voted
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
Abstract This paper examines the use of a simulator to explore process interaction in Unix. The simulator allows instructors to trace through a variety of programs and to show how ...
173
Voted
IEEESCC
2010
IEEE
15 years 1 months ago
2010
IEEE
Service-orientation and object-oriented design are common practice in the field of business application development. Business process execution languages help to facilitate the orc...