1249 search results - page 232 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
184
click to vote
RTA
2007
Springer
16 years 5 days ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
159
click to vote
IROS
2006
IEEE
16 years 2 days ago
2006
IEEE
— This paper introduces the Extensible Agent Behavior Specification Language (XABSL) as a pragmatic tool for engineering the behavior of autonomous agents in complex and dynamic...
155
click to vote
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
In order to meet flexibility, performance and energy efficiency constraints, future SoC (System-on-Chip) designs will contain an increasing number of heterogeneous processor cor...
162
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
—Network Intrusion Detection System (NIDS) is a system which can detect network attacks resulted from worms and viruses on the Internet. An efficient pattern matching algorithm p...
175
click to vote
AGENTCL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...