448 search results - page 55 / 90 » A Meta-Method for Formal Method Integration |
151
click to vote
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
168
click to vote
ECIR
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. The structural heterogeneity and complexity of XML repositories makes query formulation challenging for users who have little knowledge of XML. To assist its users, an XM...
170
click to vote
JIDM
2010
15 years 1 months ago
2010
The need for incorporating preference querying in database technology is a very important issue in a variety of applications ranging from e-commerce to personalized search engines....
147
click to vote
SPLC
2010
15 years 1 months ago
2010
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...
144
click to vote
TLDI
2009
ACM
16 years 3 days ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...