4151 search results - page 621 / 831 » Language Driven System Design |
174
Voted
AAMAS
2007
Springer
15 years 7 months ago
2007
Springer
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
166
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We designed and implemented Tagme, a system that is able to efficiently and judiciously augment a plain-text with pertinent hyperlinks to Wikipedia pages. The specialty of Tagme w...
188
Voted
JCP
2008
15 years 7 months ago
2008
In a fast changing market environment the task of reducing the downtime for change management of business processes has high importance. Ensuring that IT reflects the updated busin...
195
Voted
ADT
2005
15 years 7 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
185
Voted
TAP
2008
Springer
15 years 7 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...