1454 search results - page 40 / 291 » Stateful traits and their formalization |
136
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. Undefined terms are commonplace in mathematics, particularly in calculus. The traditional approach to undefinedness in mathematical practice is to treat undefined terms a...
168
Voted
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
147
click to vote
CSIE
2009
IEEE
16 years 25 days ago
2009
IEEE
A multi-party contract signing (MPCS) protocol allows a set of parties to exchange messages with each other to arrive in a state in which either each of them has a pre-agreed cont...
137
click to vote
DATE
2009
IEEE
16 years 25 days ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
161
Voted
INFOCOM
2006
IEEE
16 years 3 days ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...