62 search results - page 2 / 13 » The misbehavior of value and the discipline of the will |
VISUALIZATION
2005
IEEE
13 years 11 months ago
2005
IEEE
The field of Visualization is getting mature. Many problems have been solved, and new directions are sought for. In order to make good choices, an understanding of the purpose an...
CLEIEJ
2010
13 years 2 months ago
2010
This work presents a method for the definition of process capability profiles lined up with the specific business model of small software companies. The developed method is made u...
RV
2010
Springer
13 years 3 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
ESOP
2005
Springer
13 years 11 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
AP2PC
2005
Springer
13 years 11 months ago
2005
Springer
Peer-to-peer complementary currencies can be powerful tools for promoting exchanges and building sustainable relationships among selfish peers on the Internet. i-WAT[10] is a prop...