3765 search results - page 618 / 753 » Formal Methods for Systems Engineering Behavior Models |
145
click to vote
CODES
2007
IEEE
16 years 25 days ago
2007
IEEE
In battery-powered embedded systems, dedicated circuitry is used to convert stored energy into a form that can be directly used by processors. These power regulation devices seek ...
181
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Software components realising the graphical user interface (GUI) of a highly interactive system or the user interface of a Web application form an essential part of the entire impl...
167
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Multi-agent learning is a crucial method to control or find solutions for systems, in which more than one entity needs to be adaptive. In today's interconnected world, such s...
153
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...
164
click to vote
WSC
1998
15 years 7 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...