586 search results - page 60 / 118 » Model-Driven User Requirements Specification using SysML |
131
click to vote
ICCCN
1998
IEEE
15 years 7 months ago
1998
IEEE
Supporting mobility in Wireless ATM networks poses a number of technical issues. An important issue is the ability to reroute ongoing virtual connections during handoff as mobile ...
116
click to vote
COMPSAC
1997
IEEE
15 years 7 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
IJDAR
2000
15 years 2 months ago
2000
Our proposed approach to text and line-art extraction requires accurately locating a text-string box and identifying external line vectors incident on the box. The results of extra...
102
click to vote
SIGSOFT
2002
ACM
16 years 3 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
ICSE
1998
IEEE-ACM
15 years 7 months ago
1998
IEEE-ACM
As software engineering efforts move to more complex, distributed environments, coordinating the activities of people and tools becomes very important. While groupware systems add...