12107 search results - page 173 / 2422 » Software That Can Think |
271
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
Extracting performance from many-core architectures requires software engineers to create multi-threaded applications, which significantly complicates the already daunting task of...
125
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
In the context of Model Driven Development, models play a central role. Since models can nowadays be executed, they are used not only for description but also for production [32][3...
130
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
144
click to vote
ACE
2004
15 years 6 months ago
2004
Technological advancement in the Internet and other areas of communication have made the idea of collaborative projects with other people who might be physically located on separa...
158
click to vote
RITA
2000
15 years 4 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...