5550 search results - page 711 / 1110 » Different Approaches to Proof Systems |
175
click to vote
COORDINATION
2005
Springer
16 years 18 days ago
2005
Springer
With its decoupling of processes in space and time, the shared data space model has proven to be a well-suited solution for developing distributed component-based systems. However,...
200
click to vote
ISVC
2005
Springer
16 years 17 days ago
2005
Springer
In virtual environments, head pose and/or eye-gaze estimation can be employed to improve the visual experience of the user by enabling adaptive level of detail during rendering. In...
206
click to vote
ICSE
2003
IEEE-ACM
16 years 8 days ago
2003
IEEE-ACM
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
188
Voted
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a w...
187
click to vote
IFM
1999
Springer
15 years 11 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...