366 search results - page 45 / 74 » Combining Agent-Oriented Conceptual Modelling with Formal Me... |
141
Voted
FSKD
2007
Springer
15 years 7 months ago
2007
Springer
The uncertainty may be divides it into two major groups, "objective uncertainty" and "subjective uncertainty". The objective uncertainty has already been exten...
119
Voted
ACL
2009
15 years 1 months ago
2009
This paper revisits the pivot language approach for machine translation. First, we investigate three different methods for pivot translation. Then we employ a hybrid method combin...
131
Voted
FORMATS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
143
Voted
ISPW
2005
IEEE
15 years 9 months ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
125
Voted
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...