5961 search results - page 984 / 1193 » Design Science and Software Engineering |
164
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
127
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
145
click to vote
IOLTS
2008
IEEE
16 years 26 days ago
2008
IEEE
Sets of Pairs of Functions to be Distinguished (SPFD) is a functional flexibility representation method that was recently introduced in the logic synthesis domain, and promises s...
220
click to vote
ATC
2007
Springer
16 years 19 days ago
2007
Springer
Service-oriented architectures (SOA) and, in particular, Web Services designs are currently widely used for the development of open, large-scale interoperable systems. In those sys...
179
click to vote
PLDI
2005
ACM
16 years 19 hour ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...