16616 search results - page 3038 / 3324 » Extending Extended Vacuity |
165
click to vote
OOPSLA
2004
Springer
16 years 2 days ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
178
Voted
PADL
2004
Springer
16 years 2 days ago
2004
Springer
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...
188
click to vote
PKC
2004
Springer
16 years 1 days ago
2004
Springer
In a practical system, a message is often encrypted more than once by different encryptions, here called multiple encryption, to enhance its security. Additionally, new features ...
191
click to vote
PRICAI
2004
Springer
16 years 1 days ago
2004
Springer
Temporal reasoning is an important task in many areas of computer science including planning, scheduling, temporal databases and instruction optimisation for compilers. Given a kno...
170
click to vote
PROFES
2004
Springer
16 years 1 days ago
2004
Springer
Environmental information systems (EIS) have been in professional use for quite a long time. Applications of this domain often include features of quite common location based servi...