7139 search results - page 1138 / 1428 » Language Engineering in Practice |
162
click to vote
ADBIS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Quality of software has growing role of the modern software engineering work. Typical current trends in the development process are the dominating role of quality systems...
173
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
We elaborate on the mathematical foundations of the meaning coordination problem that agents face in open environments. We investigate to which extend the BarwiseSeligman theory o...
203
Voted
CCS
2005
ACM
16 years 7 days ago
2005
ACM
An optimistic acknowledgment (opt-ack) is an acknowledgment sent by a misbehaving client for a data segment that it has not received. Whereas previous work has focused on opt-ack ...
156
click to vote
CHARME
2005
Springer
16 years 7 days ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
192
click to vote
EUROSPI
2005
Springer
16 years 6 days ago
2005
Springer
The Rational Unified Process (RUP) is a comprehensive software development process framework emphasizing use-cases, architecture focus and an iterative approach. RUP is widely know...