726 search results - page 93 / 146 » Formal Requirements Engineering: Learning from the Students |
141
click to vote
ETS
2000
IEEE
14 years 11 months ago
2000
IEEE
During Spring 1998, we embarked on pedagogical journey into unknown terrains -- the terrains of collaborative teaching and World Wide Web instruction. In this paper we present a j...
115
click to vote
ARCS
2005
Springer
15 years 5 months ago
2005
Springer
We propose an active vision system for object acquisition. The core of our approach is a reinforcement learning module which learns a strategy to scan an object. The agent moves a...
127
click to vote
ISF
2010
14 years 9 months ago
2010
Accurate and timely traffic classification is critical in network security monitoring and traffic engineering. Traditional methods based on port numbers and protocols have proven t...
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
There are different strategies to integrate software systems: integration on the data layer, on the business logic layer, and on the user interface layer. The latter area, recent...
121
click to vote
JLP
2008
14 years 11 months ago
2008
Abstract. Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additi...