6174 search results - page 1042 / 1235 » The language of social software |
163
click to vote
ICFEM
2005
Springer
16 years 19 hour ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
138
click to vote
INTETAIN
2005
Springer
16 years 13 hour ago
2005
Springer
Webcrow is a software system whose aim is to solve crosswords. Problems of like solving crosswords have been informally defined as AI-Complete and are extremely challenging for ma...
153
click to vote
ISSAC
2005
Springer
16 years 10 hour ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
192
click to vote
LCPC
2005
Springer
16 years 6 hour ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
184
click to vote
SEKE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...