2702 search results - page 228 / 541 » Practically Applicable Formal Methods |
118
click to vote
FUZZIEEE
2007
IEEE
15 years 8 months ago
2007
IEEE
Compositional Modelling (CM) has been applied to synthesize automatically plausible scenarios in many problem domains with promising results. However, it is assumed that the generi...
123
click to vote
AGILEDC
2007
IEEE
15 years 8 months ago
2007
IEEE
This experience report describes a three year journey toward agility in a software engineering course. Students in the course work in small project teams to develop an application...
136
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this short paper we describe the setup and results of a new initiative to compare graph transformation tools, carried out as part of the AGTIVE 2007 symposium on “Ap...
165
Voted
VLDB
2007
ACM
15 years 8 months ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
135
click to vote
ACSC
2005
IEEE
15 years 8 months ago
2005
IEEE
Novel, high-throughput technologies are challenging the core of algorithmic methods available in Computer Science. Microarray technologies give Life Sciences researchers the oppor...