3799 search results - page 230 / 760 » An Engineering Approach to Formal Methods |
186
click to vote
MEMOCODE
2008
IEEE
15 years 11 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
150
click to vote
SIGIR
2003
ACM
15 years 10 months ago
2003
ACM
In a federated digital library system, it is too expensive to query every accessible library. Resource selection is the task to decide to which libraries a query should be routed....
150
Voted
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We present a novel approach to knowledge-based automated oneshot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
170
click to vote
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
150
click to vote
WETICE
2005
IEEE
15 years 10 months ago
2005
IEEE
In distributed software engineering, the role of informal communication is frequently overlooked. Participants simply employ their own ad-hoc methods of informal communication. Co...