1036 search results - page 152 / 208 » Incompleteness of Behavioral Logics |
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
Agents enacting business processes in large open environments need to adaptively accommodate exceptions. Work on multiagent approaches can flexibly model business processes. This...
MICAI
2007
Springer
14 years 2 months ago
2007
Springer
This paper describes a fault diagnosis system (FDS) for non-linear plants based on fuzzy logic. The proposed scheme, named VisualBlock-FIR, runs under the Simulink framework and en...
ASPDAC
2006
ACM
14 years 2 months ago
2006
ACM
We propose a methodology for optimal k-way partitioning with replication of directed hypergraphs via Boolean satisfiability. We begin by leveraging the power of existing and emerg...
MSE
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes the authors experience with teaching VHDL (and more recently, Verilog) to undergraduate and graduate students at WPI and to engineers through various short co...
SOFTVIS
2005
ACM
14 years 2 months ago
2005
ACM
This paper presents a system for visualizing mobile object frameworks. In such frameworks, the objects can migrate to remote hosts, along with their state and behavior, while the ...