2935 search results - page 519 / 587 » An Integrated Approach to High Integrity Software Verificati... |
174
click to vote
MEMOCODE
2008
IEEE
15 years 10 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
157
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Enterprise resource planning (ERP) systems integrate companies’ multiple information systems and help adapt best practices for business processes. ERP systems are in most cases ...
150
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
The purpose of virtual computing environment is to improve resource utilization by providing a unified integrated operating platform for users and applications based on aggregation...
115
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
A lot of functionality is needed when an application, such as a museum cataloguing system, is extended with semantic capabilities, for example ontological indexing functionality or...
159
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract—This paper presents a novel high-efficient hybrid openclose loop based fine granularity scalable (HOCFGS) coding framework supporting different decoding complexity appli...