1860 search results - page 104 / 372 » tools 2009 |
91
Voted
GI
2009
Springer
15 years 5 months ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
103
Voted
APLAS
2009
ACM
15 years 4 months ago
2009
ACM
Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable ...
110
Voted
BPM
2009
Springer
15 years 4 months ago
2009
Springer
Business workflow management and business process modeling are mature research areas, whose roots go far back to the early days of office automation systems. Scientific workflow ma...
103
click to vote
ICALT
2009
IEEE
15 years 4 months ago
2009
IEEE
Authoring tools for building Intelligent Educational Systems must provide support to ensure flexibility, adaptability of content to the user profile, reusability and sharing of le...
113
Voted
BTW
2009
Springer
15 years 4 months ago
2009
Springer
: Quality early warning and proactive customer churn detection are two examples of applications that can benefit from insights gained from unstructured text data. The term “Unstr...