3765 search results - page 523 / 753 » Formal Methods for Systems Engineering Behavior Models |
191
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
190
click to vote
TOPNOC
2008
15 years 6 months ago
2008
Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...
179
click to vote
IWPSE
2005
IEEE
16 years 6 days ago
2005
IEEE
A software system is continuously changed so many times. When we try to change a software, we must understand how the software is implemented, especially about the functions to be...
220
click to vote
ANSOFT
2002
15 years 6 months ago
2002
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...
155
Voted
LCTRTS
2005
Springer
16 years 3 days ago
2005
Springer
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...