163 search results - page 23 / 33 » Software Engineering Research Group (GIIS) |
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
In October 2004 the University of Lugano in southern Switzerland established a new faculty of informatics. Its founding principles are innovation in teaching and faculty participa...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
CISIS
2008
IEEE
14 years 1 months ago
2008
IEEE
Some researchers have illustrated how individual and groups of bacteria forage for nutrients and to model it as a distributed optimization process, which is called the Bacterial F...
SEFM
2007
IEEE
14 years 1 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
IUI
2004
ACM
14 years 23 days ago
2004
ACM
The usefulness of ontology is strongly dependent on the knowledge representation policy and its maintenance. The subject of knowledge representation and modeling tool has been one...