3745 search results - page 293 / 749 » Sonic: System Description |
195
click to vote
CIA
2004
Springer
16 years 5 days ago
2004
Springer
To realize large-scale socially embedded multiagent systems, this paper proposes a new system design methodology towards society-centered design. We have already developed the scen...
187
click to vote
ITS
2004
Springer
16 years 3 days ago
2004
Springer
Most of the prior descriptions of the important relationships in Intelligent Tutoring System (ITS) projects have focused on the relationships involved in their use in classrooms, ...
176
click to vote
EH
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper describes a multi-objective Evolutionary Algorithm (EA) system for the synthesis of efficient non-linear VLSI circuit modules. The EA takes the specification for a no...
189
click to vote
SIGSOFT
2003
ACM
16 years 9 hour ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
192
Voted
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...