386 search results - page 73 / 78 » Model Classifications and Automated Verification |
SAC
2008
ACM
13 years 7 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
As human-computer interaction becomes more closely modeled on human-human interaction, new techniques and strategies for human-computer interaction are required. In response to th...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
UDDI registries are included as a standard offering within the product suite of any major SOA vendor, serving as the foundation for establishing design-time and run-time SOA govern...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
As one of the newest members in the field of artificial immune systems (AIS), the Dendritic Cell Algorithm (DCA) is based on behavioural models of natural dendritic cells (DCs). U...
ESWA
2006
13 years 7 months ago
2006
Due to the exponential growth of documents on the Internet and the emergent need to organize them, the automated categorization of documents into predefined labels has received an...