3564 search results - page 445 / 713 » Evaluating a Formal Modelling Language |
134
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Object-oriented languages define the identity of an object to be an address-based object identifier. The programmer may customize the notion of object identity by overriding the ...
136
click to vote
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
143
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
126
Voted
SIGMOD
2008
ACM
15 years 3 months ago
2008
ACM
The presence of encyclopedic Web sources, such as Wikipedia, the Internet Movie Database (IMDB), World Factbook, etc. calls for new querying techniques that are simple and yet mor...
148
click to vote
RML
2002
15 years 3 months ago
2002
The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...