2261 search results - page 113 / 453 » Relationships Between Models of Concurrency |
VVEIS
2007
13 years 9 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
SOFTWARE
2002
13 years 7 months ago
2002
is the level of abstraction: a logical model ignores the constraints that the underlying database technology imposes and presents a simplified view. Sometimes physical database des...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
Word processing software, email, and spreadsheet have revolutionized office activities. There are many other office tasks that are amenable to automation, such as: scheduling a vi...
ATAL
2000
Springer
14 years 11 days ago
2000
Springer
Abstract. This paper is concerned with the problem of how effective social interaction arises from individual social action and mind. The need to study the individual social mind s...