1782 search results - page 272 / 357 » Tool Support for Proof Engineering |
DAC
1999
ACM
14 years 1 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
CAISE
2006
Springer
14 years 17 days ago
2006
Springer
One important task of semantic web portals is to offer both end users and applications a seamless access to knowledge contained in heterogeneous data sources in specific user commu...
EPEW
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Component-based software performance engineering (CBSPE) methods shall enable software architects to assess the expected response times, throughputs, and resource utiliza...
ISTA
2008
13 years 10 months ago
2008
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...
WEBNET
2001
13 years 10 months ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...