11066 search results - page 2050 / 2214 » Linearity in Process Languages |
135
click to vote
AIIA
2005
Springer
15 years 9 months ago
2005
Springer
We designed and implemented a software system, called WebCrow, that represents the first solver for Italian crosswords and the first system that tackles a language game using the...
149
click to vote
APWEB
2005
Springer
15 years 9 months ago
2005
Springer
With the explosive emerged Web services, the Web becomes a world of information and applications. So portals whose goal is presenting a structured view onto the Web should provide ...
135
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the o...
125
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
108
click to vote
BPM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. With increased sophistication and standardization of modeling languages and execution platforms supporting business process management (BPM) across traditional boundaries...