68 search results - page 12 / 14 » Engineering tagging languages for DSLs |
ASWEC
2006
IEEE
13 years 12 months ago
2006
IEEE
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
WWW
2003
ACM
14 years 6 months ago
2003
ACM
As users get connected with new-generation smart programmable phones and Personal Digital Assistants, they look for geographic information and location-aware services. In such a s...
FSTTCS
2009
Springer
14 years 10 days ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
ECOOP
1998
Springer
13 years 10 months ago
1998
Springer
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...
TREC
2001
13 years 7 months ago
2001
: Oracle's objective in TREC-10 was to study the behavior of Oracle information retrieval in previously unexplored application areas. The software used was Oracle9i Text[1], O...