3522 search results - page 280 / 705 » Modeling and Aspect Weaving |
192
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
Specification documents for real-world authentication protocols typically mandate some aspects of a protocol's behavior but leave other features optional or undefined. In add...
160
click to vote
COORDINATION
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
152
Voted
ACSD
2006
IEEE
15 years 8 months ago
2006
IEEE
Networks on chip platforms offer the opportunity to introduce a new abstraction level that defines a set of platform services with performance and power characteristics. By making...
179
click to vote
HIS
2007
15 years 7 months ago
2007
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...
170
click to vote
LWA
2007
15 years 7 months ago
2007
Serious games that should adapt training to the individual might benefit from methods that are developed for intelligent tutoring systems. One method, model tracing, might be used...