2290 search results - page 365 / 458 » Extensible Protected Types |
121
click to vote
ECLIPSE
2005
ACM
15 years 4 months ago
2005
ACM
The heterogeneity and dynamism of today’s software systems make it difficult to assess the performance, correctness, or security of a system outside the actual time and context ...
128
click to vote
AIML
2008
15 years 3 months ago
2008
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This pap...
126
click to vote
AIA
2007
15 years 3 months ago
2007
A fundamental assumption often made in supervised classification is that the problem is static, i.e. the description of the classes does not change with time. However many practi...
114
Voted
APCCM
2007
15 years 3 months ago
2007
Web services are loosely coupled software components that are published, discovered, and invoked across the Web. As the use of Web services grows, in order to correctly interact w...
BCSHCI
2007
15 years 3 months ago
2007
Sketch-based tools provide a more human centered design environment than traditional widget-based computer design software. A number of sketch tools exist that support specific de...