3432 search results - page 275 / 687 » Model Development in the UML-based Specification Environment... |
252
click to vote
ERCIMDL
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The digital library field is recently broadening its scope of applicability and it is also continuously adapting to the frequent changes occurring in the internet society...
149
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
In this paper, we propose a Proximity Based automated Access Control (PBAC) model for smart-ED environments which improves the existing ED work-flow by automating mundane administ...
163
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Programmable networks offer the ability to customize router behaviour at run time, thus providing new levels of flexibility for network administrators. We have developed a program...
228
click to vote
FMCO
2003
Springer
16 years 15 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
365
click to vote
PUC
2008
15 years 6 months ago
2008
Abstract Mobile computing systems should be selfmanaged to simplify operation and maintenance plus meet user's expectation with respect to Quality of Service (QoS). When archi...