2450 search results - page 223 / 490 » On Application of Structural Decomposition for Process Model... |
194
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
166
click to vote
FAC
2008
15 years 6 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
193
click to vote
AGENTCL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...
187
click to vote
IJCNN
2007
IEEE
16 years 28 days ago
2007
IEEE
— High-order human cognition involves processing of abstract and categorically represented knowledge. Traditionally, it has been considered that there is a single innate internal...
181
click to vote
ICCV
2009
IEEE
16 years 10 months ago
2009
IEEE
Graph-based semi-supervised learning has gained considerable
interests in the past several years thanks to its effectiveness
in combining labeled and unlabeled data through
labe...