9006 search results - page 1642 / 1802 » Modeling Software |
125
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
This work is based on the premise that online learning environments can potentially help develop communities of scholars by enabling participants to discover persons and resources...
108
Voted
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
119
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
113
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
RTOS Simulation Henning Zabel, Wolfgang Mueller Universität Paderborn, C-LAB Fürstenallee 11, D-33102 Paderborn, Germany —Today, mobile and embedded real-time systems have to c...
136
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
—“Autonomic systems” merge advancements in the field of multi-agent software design, dynamic analysis, and decentralized control in order to assist designers in constructing...