726 search results - page 103 / 146 » Formal Requirements Engineering: Learning from the Students |
EUNIS
2001
15 years 1 months ago
2001
: After the election of the Georgian Technical University in 1999 as a member of uropian Universities Association, the main accent was to improve economical and managerial educatio...
100
click to vote
CRV
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper we introduce the concept and method for adaptively tuning the model complexity in an online manner as more examples become available. Challenging classification pro...
106
click to vote
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
In multi-agent planning environments, action models for each agent must be given as input. However, creating such action models by hand is difficult and time-consuming, because i...
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
134
click to vote
GSEM
2004
Springer
15 years 5 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...