1912 search results - page 331 / 383 » GOAL as a Planning Formalism |
142
click to vote
DAC
2010
ACM
15 years 6 months ago
2010
ACM
We study diagnosis of segments on speedpaths that fail the timing constraint at the post-silicon stage due to manufacturing variations. We propose a formal procedure that is appli...
200
click to vote
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
113
click to vote
CSCL
2008
15 years 6 months ago
2008
ct There has long been a call for schools to prepare students for the twenty-first 12century where skills and dispositions differ significantly from much of what has historically 1...
166
click to vote
ALIFE
2006
15 years 6 months ago
2006
One of the major challenges in the field of neurally driven evolved autonomous agents is deciphering the neural mechanisms underlying their behavior. Aiming at this goal, we have d...
183
click to vote
ASE
2006
15 years 6 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...