4346 search results - page 747 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
139
Voted
ICPPW
2003
IEEE
15 years 8 months ago
2003
IEEE
Users have been demanding information “anytime, anywhere”. The notion of accessing diverse and autonomous information repositories with different APIs is not accepted. This ha...
130
click to vote
PADS
2003
ACM
15 years 8 months ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...
109
click to vote
ICRE
1996
IEEE
15 years 7 months ago
1996
IEEE
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
125
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
119
Voted
LREC
2010
15 years 4 months ago
2010
MAGEAD is a morphological analyzer and generator for Modern Standard Arabic (MSA) and its dialects. We introduced MAGEAD in previous work with an implementation of MSA and Levanti...