4799 search results - page 574 / 960 » Model Based Requirements Engineering for Embedded Software |
155
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
Digital libraries and OPACs are offering an enormous collection of information resources which can be accessed through Internet by quite different users thanks to the existence of...
180
click to vote
COMPSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
Protection is an essential issue for the kind of heterogeneous distributed interoperable object environments, which Java and CORBA are a glimpse of. A uniform protection mechanism...
164
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
198
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
178
click to vote
SEKE
2007
Springer
16 years 27 days ago
2007
Springer
Mismatches in QoS (Quality of Service) often appears as a major but implicit hurdle to smooth component integration. This paper presents a solution to the above problem through pr...