1461 search results - page 148 / 293 » On Regular Reduced Products |
AGS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The importance of affect in delivering engaging experiences in entertainment and education is well recognized. We introduce the Koko architecture, which describes a servi...
ICFEM
2009
Springer
14 years 3 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...
AGILEDC
2007
IEEE
14 years 3 months ago
2007
IEEE
Projects combining agile methods with CMMI1 are more successful in producing higher quality software that more effectively meets customer needs at a faster pace. Systematic Softwa...
ANSS
2007
IEEE
14 years 3 months ago
2007
IEEE
As wireless networks have become more complex with packet services and sophisticated modulation techniques, validation using multidimensional Markov Chain models has become increa...
ECBS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper describes an agile development methodology which combines agile principles with organizational patterns and adapts them to build embedded real-time systems focusing on ...