14056 search results - page 32 / 2812 » Consistency in Model Integration |
122
click to vote
ITRUST
2005
Springer
15 years 9 months ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
121
click to vote
IFM
1999
Springer
15 years 8 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
128
click to vote
NSDI
2010
15 years 5 months ago
2010
: Making cloud services responsive is critical to providing a compelling user experience. Many largescale sites, including LinkedIn, Digg and Facebook, address this need by deployi...
142
click to vote
UML
1999
Springer
15 years 8 months ago
1999
Springer
UML has established itself as the leading OO analysis and design methodology. Recently, it has also been increasingly used as a foundation for representing numerous (diagrammatic) ...
130
click to vote
GFKL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A central task when integrating data from different sources is to detect identical items. For example, price comparison websites have to identify offers for identical p...