27274 search results - page 503 / 5455 » A framework for framework documentation |
176
click to vote
APSEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
212
click to vote
ASWEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract-- While mobile users want to obtain software anywhere and anytime without the knowledge of software availability in advance, software providers want to deploy their softwa...
211
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Future agent applications will increasingly represent human users autonomously or semi-autonomously in strategic interactions with similar entities. Hence, there is a growing need...
189
click to vote
CAISE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Today, companies are immersed in extremely competitive worldwide markets that change continuously. Thus, companies have to evolve introducing strategic and structural cha...
209
click to vote
DOLAP
2005
ACM
15 years 8 months ago
2005
ACM
OLAP users heavily rely on visualization of query answers for their interactive analysis of massive amounts of data. Very often, these answers cannot be visualized entirely and th...