10159 search results - page 549 / 2032 » System Design Validation Using Formal Models |
148
click to vote
DSS
2006
15 years 6 months ago
2006
The increasing proliferation of online shopping and purchasing has naturally led to a growth in the popularity of comparisonshopping search engines, popularly known as "shopb...
167
click to vote
SASO
2010
IEEE
15 years 4 months ago
2010
IEEE
Self-organising systems are a popular engineering concept for designing decentralised autonomic computing systems. They are able to find solutions in complex and versatile problem ...
145
click to vote
TSMC
2002
15 years 6 months ago
2002
Object-orientation and distributed systems are quickly becoming norms for new system development, generating renewed interest in distribution schemes traditionally directed at rela...
190
click to vote
ASWEC
2007
IEEE
16 years 23 days ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
150
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The need for e-learning systems that support a diverse set of pedagogical requirements has been identified as an important issue in web-based education. Until now, significant R&a...