1816 search results - page 299 / 364 » Formal Concepts of Learning Systems Validation in Use |
HYBRID
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. This paper proposes an account of the acquisition of grammatical relations using the basic concepts of connectionism and a construction-based theory of grammar. Many prev...
SPIN
2005
Springer
15 years 5 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
CAISE
2001
Springer
15 years 4 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
102
click to vote
APN
2010
Springer
15 years 4 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
Over the past decade, software architecture research has emerged as the principled study of the overall structure of software systems, especially the relations among subsystems an...