7380 search results - page 872 / 1476 » Engineering Software Intensive Systems |
151
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
This paper revolves around the so-called plan revision rules of the agent programming language 3APL. These rules can be viewed as a generalization of procedures. This generalizatio...
201
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
: A powerful and widely-used method for analyzing the performance behavior of parallel programs is event tracing. When an application is traced, performancerelevant events, such as...
171
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Function is a dynamic property closely related to the conformational mechanisms of the protein structure in its physiological environment. Efficient methods and tools for predicti...
183
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
186
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Portal Catalogs is a popular means of searching for information on the Web. They provide querying and browsing capabilities on data organized in a hierarchy, on a categor...