14360 search results - page 2422 / 2872 » Time Modeling in MARTE |
170
click to vote
ISQED
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
170
click to vote
SAINT
2003
IEEE
16 years 3 days ago
2003
IEEE
The problem of identifying patterns from system call trails of UNIX processes to better model application behavior has been investigated intensively. Most existing approaches focu...
210
click to vote
SRDS
2003
IEEE
16 years 3 days ago
2003
IEEE
We consider the problem of increasing the availability of shared data in peer-to-peer (P2P) systems so that users can access any content, regardless of the current subset of onlin...
180
click to vote
WMCSA
2003
IEEE
16 years 3 days ago
2003
IEEE
Web Services have started to appear on servers as interfaces between business-to-business applications. To date, mobile devices have only consumed Web Services running on stationa...
195
click to vote
DAC
2003
ACM
16 years 3 days ago
2003
ACM
Fourth-generation wireless communication systems (4G) will have totally different requirements than what front-end designers have been coping with up to now. Designs must be targe...